Na lógica, o símbolo ⊨, ${\displaystyle \vDash }$ or ${\displaystyle \models }$ é chamado de dupla catraca. Pode ser lido como "consequência lógica" (acarreta em), "modelo de", "é consequência semântica de " ou no inglês "is stronger than". Uma de suas relações com o símbolo catraca ${\displaystyle \vdash }$(o qual possui uma barra única atravessada no meio) é o teorema da completude.

No TeX, os símbolos de catracas ${\displaystyle \vdash }$ e ${\displaystyle \models }$ são obtidos pelos comandos \vdash e \models respectivamente. No Unicode está mapeado em U+22A8 ⊨ true (HTML: ⊨)